The Impact of RTCA DO-178C on Software Development
ثبت نشده
چکیده
A new guideline has emerged to help regulate the development and certification of software and the delivery of multiple supporting documents and records used on aircraft or engines. The previous guideline — called RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, and produced by the Radio Technical Commission for Aeronautics Inc. — served as a de facto standard for avionics equipment and software development worldwide.
منابع مشابه
Certification of Safety-Critical Software Under DO-178C and DO-278A
The RTCA has recently released DO-178C and DO-278A as new certification guidance for the production of airborne and ground-based air traffic management software, respectively. Additionally, RTCA special committee SC-205 has also produced, at the same time, five other companion documents. These documents are RTCA DO-248C, DO-330, DO-331, DO332, and DO-333. These supplements address frequently as...
متن کاملIKOS: A Framework for Static Analysis Based on Abstract Interpretation
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation a...
متن کاملIKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation a...
متن کاملA Model-Based Agile Process for DO-178C Certification
Increasing complexity has driven aerospace companies to consider the use of Agile processes for development of safety-critical systems. For other domains, Agile processes have been shown to improve cost, schedule, and quality metrics. Airworthiness certification under the Federal Aviation Administration (FAA) guidelines imposes unique challenges that require adaptation of Agile processes. The F...
متن کاملDO-333 Certification Case Studies
RTCA DO-333, Formal Methods Supplement to DO-178C and DO278A, provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. This paper presents three case studies describing the use of different classes of formal methods to satisfy DO-178C certification objectives. The case studies examine different aspects o...
متن کامل